home *** CD-ROM | disk | FTP | other *** search
- // Initializes the resize dialog
- function webdeveloper_initializeResize()
- {
- document.getElementById("webdeveloper-resize-width").value = window.arguments[0];
- document.getElementById("webdeveloper-resize-height").value = window.arguments[1];
- }
-
- // Resizes the parent window to the given width and height
- function webdeveloper_resizeParentWindow()
- {
- const height = document.getElementById("webdeveloper-resize-height").value;
- const width = document.getElementById("webdeveloper-resize-width").value;
-
- // If the width and height are valid
- if(width && height && parseInt(width) == width && parseInt(height) == height && width > 0 && height > 0)
- {
- window.opener.resizeTo(width, height);
- }
- }
-